$\forall$${\it the\_w}$:World, $l$:IdLnk, $t$, ${\it t'}$:$\mathbb{N}$.
\\[0ex]match($l$;$t$;${\it t'}$)
\\[0ex]$\Leftrightarrow$
\\[0ex]$\parallel$snds($l$;$t$)$\parallel\leq\parallel$rcvs($l$;${\it t'}$)$\parallel$ \& $\parallel$rcvs($l$;${\it t'}$)$\parallel<\parallel$snds($l$;$t$)$\parallel$+$\parallel$onlnk($l$;m(source($l$);$t$))$\parallel$